Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 76 results
Sort by: relevance publication year

Algebraic Aspects of Orthomodular Lattices

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Gunter Bruns | John Harding

Operational Quantum Logic: An Overview

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Bob Coecke | David Moore | Alexander Wilce

Operational Galois Adjunctions

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Bob Coecke | David Moore

Test Spaces and Orthoalgebras

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Alexander Wilce

Free Extensions of Group Actions, Induced Representations, and the Foundations of Physics

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: David J. Foulis | Alexander Wilce

Observables in the Logico-Algebraic Approach

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Pavel Pták

Probability Measures on Orthomodular Posets and Lattices

BOOK CHAPTER published 28 December 1984 in The Logic of Quantum Mechanics

The logic of quantum mechanics – Take II

BOOK CHAPTER published 26 February 2016 in Logic and Algebraic Structures in Quantum Computing

Authors: Bob Coecke

The Typical Mathematical Structure of Propositions: Orthomodular AC Lattices

BOOK CHAPTER published 28 December 1984 in The Logic of Quantum Mechanics

Quantum Languages

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Stan Gudder

Operational Axiomatics and Compound Systems

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Frank Valckenborgh

The source of the orthomodular law

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: John Harding

Quantales and Observational Semantics

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Pedro Resende

Representations on Unigroups

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: David J. Foulis

Petr Hájek. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp.

JOURNAL ARTICLE published September 2000 in Bulletin of Symbolic Logic

Authors: Francis Jeffry Pelletier

Quantales

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Jan Paseka | Jiří Rosický

Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp.

JOURNAL ARTICLE published December 2000 in Bulletin of Symbolic Logic

Authors: Dimiter Vakarelov

Defeasible deontic logic, edited by Donald Nute, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp.

JOURNAL ARTICLE published March 2000 in Bulletin of Symbolic Logic

Authors: Wiebe Van Der Hoek

Von Neumann lattices

BOOK CHAPTER published 1998 in Quantum Logic in Algebraic Approach

Authors: Miklós Rédei

Short Introduction to Enriched Categories

BOOK CHAPTER published 2000 in Current Research in Operational Quantum Logic

Authors: Francis Borceux | Isar Stubbe